- 双语例句 更多例句
1、
本文把Brookes验证平行程序的思想应用于Hoare的通信顺序进程（CSP），提出了一组证明规则，以验证CSP程序的部分正确性。
互联网摘选
2、
实验结果表明，经过算法处理的数据可以快速诊断出局部遮阴的光伏电池位置，证明了本文的故障检测算法的正确性。
互联网摘选
3、
而且，相比已有的出具证明编译器，该编译器可以处理更加复杂的程序性质，例如值相关的部分正确性。
互联网摘选
4、
Burstall/Darlington提出的展开/叠卷方法是程序转换中简单而有效的一种方法，但该方法仅保持函数的部分正确性，而可能失去某些值上的终止性。
互联网摘选
5、
形式化证明把程序完全正确性问题归结为部分正确性和终止性的证明。
互联网摘选
- 相关词组
- partial albinism局部白化病，白痣;
- partial antigen不完全抗原;
- partial birth不全产;
- partial conjugation局部接合;
- correctness factor校正系数;
- political correctnessn.政治正确性;
- Partial Mission Capable可执行部分任务
- partial agglutinin[医] 副凝集素;
- partial remission部分缓解;
- partial cultivation局部垦植;
- partial bulkhead局部舱壁;
- partial correlation偏[净，部分]相关;
- partial confounding部分混区;
- partial exactness部分正确
- program correctness程序正确性;
- partial journey部分行程;
- partial ordering部分顺序;
- partial amnesia部分性遗忘;
- 今日热词
- 热门搜索
- inquire vt.& vi.打听，询问;查究;
- Happy New Year 新年快乐;新年好;新春快乐;
- urge v.敦促，催促;推，拉;驱赶;强烈要求;n.冲动;强烈的欲望;
- construct v.建筑;组成;绘制;n.构想;结构体;建筑物;
- snap-fit 卡扣;卡扣配合;扣合
- introduction n.采用;新引用的事物;介绍;初次经历;引言;入门书;外来品;前奏;
- interpreter n.解释者;口译译员;[军事]判读员;[自]翻译器;
- I want you back 我要你回来; 我想要你回来; 我想你回来; 我希望你回来; 我想让你回来;
- quality n.质量;特性;素质;优质;adj.优质的;棒极了;内容严肃的（报纸）;
- EGY abbr.Egypt 埃及;Egypt (whose capital is Cairo) 埃及（首都是开罗）;Egyptian 埃及的;埃及人（的）;
- chick n.雏鸟；（尤指）雏鸡，小鸡;n.少女；少妇；小妞儿(男性用语，可能具冒犯意味)
- novelist n.小说家;
